SECSI - 2013 - Annual activity report

SECSI

Project-Team Secsi

Members

Research Program

Application Domains

Software and Platforms

New Results

Partnerships and Cooperations

Dissemination

Bibliography

Home | Next next

Section: Dissemination

Administrative charges:

Hubert Comon-Lundh is member of the “comité de pilotage”, labex Digicosme.
Hubert Comon-Lundh is member of the “commission formation”, labex Digicosme.
Hubert Comon-Lundh is member of the “Jury prix de these Gilles Kahn/SIF”.
Hubert Comon-Lundh is member of the jury “appel à projets Digiteo”
Hubert Comon-Lundh is member of the Master MPRI studies committee and director of the MPRI until sept. 2013.
Stéphanie Delaune has been a member of the scientific committee of Inria Saclay since February 2012.
Stéphanie Delaune has been “Déléguée aux thèses” at the École Doctorale Sciences Pratiques at ENS Cachan since September 2012.
Jean Goubault-Larrecq is in charge of computer science questions, common Ecole Polytechnique-ENS Paris, Lyon, Cachan-ESPCI entrance competitive exam, starting September 2012.

Editorial boards:

Hubert Comon-Lundh is associate editor of the ACM Transactions on Computational Logic.

Participation to program committes of conferences:

16th International Conference on Foundations of Software Science and Computation Structures FoSSaCS'13, Rome, Italy, March 2013 (Jean Goubault-Larrecq).
24th International Conference on Automated Deduction (CADE), Lake Placid, New York, USA, 2013 (Stéphanie Delaune)
26th IEEE Computer Security Foundations Symposium (CSF), Tulane University, New Orleans LA, USA, 2013 (Stéphanie Delaune)
24th International Conference on Rewriting Techniques and Applications (RTA), Eindhoven, The Netherlands, 2013 (Stéphanie Delaune)
20th Workshop on Logic, Language, Information and Computation (WoLLIC), Darmstadt, Germany, 2013 (Stéphanie Delaune)
Worshop Formal and Computational Cryptography (FCC), president of the program commitee. June 30, 2013, New Orleans (Hubert Comon-Lundh).
Workshop on Logical Frameworks and Meta-Languages: Theory and Practice LFMTP'13, Boston, U.S.A., September 2013 (David Baelde).
Workshop on Fixed Points in Computer Science FICS'13, Torino, Italy, September 2013 (David Baelde).
24th Journées Francophones des Langages Applicatifs JFLA'13, Aussois, France, February 2013 (David Baelde).

Organization of conferences:

Workshop on Fixed Points in Computer Science FICS'13, Torino, Italy, September 2013 (David Baelde).
25th Journées Francophones des Langages Applicatifs JFLA'14, Fréjus, France, January 2014 (David Baelde).

Selection committees:

Hubert Comon-Lundh was president of the “Maitre de Conférences” selection committee, ENS Paris, 2013.
Hubert Comon-Lundh was member of the selection committee of “Maitre de conférences” selection committee, Univ. Paris-Diderot, 2013.
Hubert Comon-Lundh was member of the Inria Paris-Rocquencourt junior researche selection committee, 2013.
Jean Goubault-Larrecq was member of the Inria Saclay-Ile-de-France junior researcher selection committee, 2013.

Scientific boards:

Hubert Comon-Lundh, CNRS INSII, Oct. 2010-Oct 2014
Hubert Comon-Lundh, scientific committee, labex CPU.
Hubert Comon-Lundh, scientific committee, LIPN.
Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes
Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes
Jean Goubault-Larrecq, member of the scientific committee of the Labex “Fondation Sciences Mathématiques de Paris”.
Jean Goubault-Larrecq, member of the scientific committe of the “Ecole de Printemps d'Informatique Théorique” (EPIT).

Invited talks:

Hubert Comon-Lundh, LICS: Logic in Computer Security, invited tutorial, IEEE Symp. Logic in Computer Science, New Orleans, July 2013.
Jean Goubault-Larrecq, A few Pearls in the Theory of Quasi-Metric Spaces, semi-plenary talk, Summer Topology Conference, North Bay, Ontario, Canada, July 23-26, 2013.
Jean Goubault-Larrecq, A Simple Proof of the Schröder-Simpson Theorem, session on Asymmetric Topology, Summer Topology Conference, North Bay, Ontario, Canada, July 23-26, 2013.
Jean Goubault-Larrecq, A Constructive Proof of the Topological Kruskal Theorem, Mathematical Foundations of Computer Science (MFCS), IST Austria, near Vienna, Austria, August 26-30, 2013.
Jean Goubault-Larrecq, Is Mathematical Rigor Needed in Intrusion Detection?, Foundations and Practice of Security (FPS), La Rochelle, France, October 21, 2013.

Invitation to seminars:

Hubert Comon-Lundh, Towards Unconditonal Soundness, IRISA, Rennes, Feb 1, 2013.
Hubert Comon-Lundh, Computationally Sound Automated Proofs of Security, LRI, Orsay, March 15, 2013.
Jean Goubault-Larrecq, Orchids, ou: de l'importance de la sémantique, séminaire DGA Innosciences, DGA, Bagneux, June 25, 2013.
Jean Goubault-Larrecq, Full Abstraction for Non-Deterministic and Probabilistic Extensions of PCF, Pierre-Louis Curien Festschrift, Venice, Italy, September 9-11, 2013.

Home | Next next